Translation by Instantiation: Integrating Functional Features into an Imperative Language

In this paper, we present an imperative language enhanced with higher-order functions, function currying and a polymorphic type system. This enables high-level programming, as known from functional languages. On the other hand, this language can be eeciently implemented, by translating the functional features into constructs of the imperative base language. An instantiation procedure generates for each (polymorphic) higher-order function one or more monomorphic rst-order functions. Since the transformation is done at compile-time, we have to make a restriction with respect to the functional arguments of recursively-deened higher-order functions .